大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Early Nutrition and its Later Consequences: New Opportunities [electronic resource] : Perinatal Programming of Adult Health 鈥Ń Supported Research

0
索取号：
作者：Koletzko、 Berthold.、Dodds、 Peter.、Akerblom、 Hans.、Ashwell、 Margaret.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Engineering Theories of Software Intensive Systems [electronic resource] : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3鈥ᵠAugust 2004

0
索取号：
作者：Broy、 Manfred.、Gr眉nbauer、 Johannes.、Harel、 David.、Hoare、 Tony.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

An Introduction to Meshfree Methods and Their Programming [electronic resource]

0
索取号：
作者：Liu、 G.R.、Gu、 Y.T.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Digital Synthesizers and Transmitters for Software Radio [electronic resource]

0
索取号：
作者：Vankka、 Jouko.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2005.

Reasoning Robots [electronic resource] : The Art and Science of Programming Robotic Agents

0
索取号：
作者：Thielscher、 Michael.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2005.

Domain of Attraction [electronic resource] : Analysis and Control via SOS Programming

0
索取号：
作者：Chesi、 Graziano.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

Metadata-driven Software Systems in Biomedicine [electronic resource] : Designing Systems that can adapt to Changing Knowledge

0
索取号：
作者：Nadkarni、 Prakash M.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

Specification of Software Systems [electronic resource]

0
索取号：
作者：Alagar、 V.S.、Periyasamy、 K.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

Introduction to Programming with Fortran [electronic resource] : With Coverage of Fortran 90, 95, 2003, 2008 and 77

0
索取号：
作者：Chivers、 Ian.、Sleightholme、 Jane.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2012.

Software Reliability Assessment with OR Applications [electronic resource]

0
索取号：
作者：Kapur、 P.K.、Pham、 Hoang.、Gupta、 A.、Jha、 P.C.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

Non-commutative Gelfand Theories [electronic resource] : A Tool-kit for Operator Theorists and Numerical Analysts

0
索取号：
作者：Roch、 Steffen.、Santos、 Pedro A.、Silbermann、 Bernd.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

Introduction to Software Process Improvement [electronic resource]

0
索取号：
作者：O'Regan、 Gerard.、SpringerLink (Online service)、
出版社：London : Springer London, 2011.

Numerical Methods for Ordinary Differential Equations [electronic resource] : Initial Value Problems

0
索取号：
作者：Griffiths、 David F.、Higham、 Desmond J.、SpringerLink (Online service)、
出版社：London : Springer London, 2010.

Introduction to the Theory of Programming Languages [electronic resource]

0
索取号：
作者：Dowek、 Gilles.、L茅vy、 Jean-Jacques.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

Rigorous Software Development [electronic resource] : An Introduction to Program Verification

0
索取号：
作者：Almeida、 Jos茅 Bacelar.、Frade、 Maria Jo茫o.、Pinto、 Jorge Sousa.、Melo de Sousa、 Sim茫o.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

Numerical Analysis [electronic resource]

0
索取号：
作者：Gautschi、 Walter.、SpringerLink (Online service)、
出版社：Boston : Birkh盲user Boston, 2012.